prove Lagrange's Theorem